Snoopy - a unifying Petri net framework to investigate biomolecular networks

نویسندگان

  • Christian Rohr
  • Wolfgang Marwan
  • Monika Heiner
چکیده

SUMMARY To investigate biomolecular networks, Snoopy provides a unifying Petri net framework comprising a family of related Petri net classes. Models can be hierarchically structured, allowing for the mastering of larger networks. To move easily between the qualitative, stochastic and continuous modelling paradigms, models can be converted into each other. We get models sharing structure, but specialized by their kinetic information. The analysis and iterative reverse engineering of biomolecular networks is supported by the simultaneous use of several Petri net classes, while the graphical user interface adapts dynamically to the active one. Built-in animation and simulation are complemented by exports to various analysis tools. Snoopy facilitates the addition of new Petri net classes thanks to its generic design. AVAILABILITY Our tool with Petri net samples is available free of charge for non-commercial use at http://www-dssz.informatik.tu-cottbus.de/snoopy.html; supported operating systems: Mac OS X, Windows and Linux (selected distributions).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Petri Nets for Modeling and Analyzing Biochemical Reaction Networks

Petri nets have been widely used to model and analyze biochemical reaction networks. This chapter gives an overview of di↵erent types of Petri nets within a unifying Petri net framework that comprises the qualitative, stochastic, continuous and hybrid paradigms at both uncolored and colored levels. The Petri net framework permits to investigate one and the same biological reaction network with ...

متن کامل

Snoopy - A Unifying Petri Net Tool

The tool Snoopy provides a unifying Petri net framework which has particularly many application scenarios in systems and synthetic biology. The framework consists of two levels: uncoloured and coloured. Each level comprises a family of related Petri net classes, sharing structure, but being specialized by their kinetic information. Petri nets of all net classes within one level can be converted...

متن کامل

Discrete-Time Leap Method for Stochastic Simulation

In this paper, we present an approach to improve the efficiency of stochastic simulation for large and dense networks. We are using stochastic Petri nets as modelling framework. The underlying continuoustime Markov chain (CTMC) is converted to an equivalent discrete-time Markov chain (DTMC), this itself gains no efficiency. We improve the efficiency via discrete-time leaps, even though this res...

متن کامل

Colored Petri nets to Model and Simulate Biological Systems

Petri nets have become an effective formalism to model biological systems. However, attempts to simulate biological systems by low-level Petri nets are restricted to relatively small models, and they tend to grow quickly for modeling complex systems, which makes it more difficult to manage and understand the nets. Motivated by this, we propose a colored Petri net-based framework for modeling, s...

متن کامل

A Hybrid Petri Net Model of the Eukaryotic Cell Cycle

System level understanding of the repetitive cycle of cell growth and division is crucial for disclosing many unexpected principles of biological organisms. The deterministic or stochastic approach are alone not sufficient to study such cell regulation due to the complex reaction network and the existence of reactions with different time scales. Thus, integration of both approaches is necessary...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Bioinformatics

دوره 26 7  شماره 

صفحات  -

تاریخ انتشار 2010